Nondeterministic finite automaton - PDFSEARCH.IO - Document Search Engine

Nondeterministic finite automaton
Results: 144

#	Item
111	series-parallel-loop construction (3.5, 3.6) ≥ NFA ⊃ Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:15 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Regular expression Regular language Automata theory Theoretical computer science Computer science
112	Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:08 Combinatorics Mathematics Regular expression Alphabet Finite-state machine Regular language Theory of computation Kleene star Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
113	jn[removed]Finite state machines (fsm, sequential machines): examples and applications Goal of this chapter: fsm’s are everywhere in our technical world! Learn how to work with them. 2.1 Example: Design a finite Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:13 Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Applied mathematics Function Counter Automata theory Models of computation Mathematics
114	jn[removed]Finite automata with external storage Concepts of this chapter: Finite automata with external storage of unbounded capacity, subject to various access restrictions that limit the automa’s power of compu Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Theoretical computer science Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Turing machine Linear bounded automaton Alphabet Queue automaton Counter automaton Automata theory Theory of computation Models of computation
115	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
116	Formal Modeling of RESTful Systems Using Finite-State Machines Ivan Zuzak, Ivan Budiselic, and Goran Delac School of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10000 Zagreb, Croatia {izuzak, ibu Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Cloud standards Software engineering Software architecture Computer science Representational state transfer Finite-state machine HATEOAS Nondeterministic finite automaton Web service Models of computation Automata theory Computing
117	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
118	CS345: Theory of Computation Class schedule & room: Time: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:04:10 Theory of computation Models of computation Computer science Context-free language Recursively enumerable language Finite-state machine Regular language Deterministic finite automaton Nondeterministic finite automaton Formal languages Theoretical computer science Automata theory
119	Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak\|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Computer science Mathematics Conjunctive query Nondeterministic finite automaton Deterministic finite automaton Structure Algorithm Computational complexity theory Finite-state machine Automata theory Models of computation Theoretical computer science
120	Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:27:55 Mathematics Symbol Interpretation Tree automaton Nondeterministic finite automaton Complementation of Büchi automaton Automata theory Theoretical computer science Logic

UPDATE